HYSTAR: A ToolBox for Hierarchical Control of Piecewise Linear Hybrid Dynamical Systems1
نویسندگان
چکیده
This paper describes a Matlab toolbox for computational analysis and hierarchical controller synthesis of piecewise linear hybrid dynamical systems. The analysis and design are based on computation of predecessor operator and backward reachability analysis. Both static specifications that do not change as time progresses and dynamic specifications that include sequencing of events and eventual execution of actions are considered. Control design is implemented using finite automata and linear programming techniques. A temperature control system is used for illustration through out the paper.
منابع مشابه
HyStar : A Matlab Toolbox for Robust Regulation of Polytopic Uncertain Piecewise Linear Hybrid Systems
This paper describes a Matlab toolbox for computational analysis and synthesis of a class of piecewise linear hybrid dynamical systems, which are affected by both time varying parametric uncertainties and persistent exterior disturbances. The robust tracking and regulation control problem for such uncertain piecewise linear systems is investigated and solved in two stages. The first stage is to...
متن کاملHybrid model predictive control of a nonlinear three-tank system based on the proposed compact form of piecewise affine model
In this paper, a predictive control based on the proposed hybrid model is designed to control the fluid height in a three-tank system with nonlinear dynamics whose operating mode depends on the instantaneous amount of system states. The use of nonlinear hybrid model in predictive control leads to a problem of mixed integer nonlinear programming (MINLP) which is very complex and time consuming t...
متن کاملHierarchical Design of Piecewise Linear Hybrid Dynamical Systems Using a Control Regulator Approach
In this paper, a novel methodology for hierarchical control design of piecewise linear hybrid dynamical systems is presented. The main characteristic of this class of hybrid systems is that the continuous dynamics are described by linear difference equations, the discrete dynamics by finite automata, and the interaction between the continuous and the discrete part is defined by piecewise linear...
متن کاملHierarchical Control for a Class of Uncertain Piecewise Linear Hybrid Dynamical Systems
In this paper, we consider the hierarchical control problem for a class of uncertain hybrid dynamical systems. The continuous dynamics of this class of uncertain hybrid systems are described by linear difference state equations, whose right side functions are unknown but lie within some convex hulls of known functions. Our control objective is for the closed loop system to exhibit a desired beh...
متن کاملHierarchical Control of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions
In this paper, a novel methodology for analysis of piecewise linear hybrid systems based on discrete abstractions of the continuous dynamics is presented. An important characteristic of the approach is that the available control inputs are taken into consideration in order to simplify the continuous dynamics. Control specifications such as safety and reachability specifications are formulated i...
متن کامل